OpenAI Says AI Solved the Navier–Stokes Millennium Problem: What the Proof Means for Mathematics
Posted on 11th Sep 2026 06:05:38 in Artificial Intelligence, Machine Learning
Tagged as: AI, OpenAI, Mathematics, Navier-Stokes, Machine Learning
OpenAI's AI system claims to have solved the Navier-Stokes existence and smoothness problem, a 90-year-old Millennium Prize puzzle in fluid dynamics, using 10,000 coordinating AI agents and a Lean-verified proof.